Catalog of reliability properties for blockchains (Antithesis)
antithesis.com·1d·
Discuss: Hacker News
✅Formal Verification
Flag this post
Exploring a space-based, scalable AI infrastructure system design
research.google·3h·
Discuss: Hacker News
🔺Computational Geometry
Flag this post
Inside Pinecone: Slab Architecture
pinecone.io·2h·
Discuss: Hacker News
📊Streaming ML
Flag this post
Kubernetes + Ceph: Your Freedom from the Cloud Cartel
oneuptime.com·22h·
Discuss: Hacker News, r/selfhosted
⚙Complex ststems
Flag this post
Dive into Systems
diveintosystems.org·1d·
Discuss: Hacker News
✅Formal Verification
Flag this post
Cutting LLM Batch Inference Time in Half: Dynamic Prefix Bucketing at Scale
daft.ai·2h·
Discuss: Hacker News
📊Streaming ML
Flag this post
Continuous Architecture: A decade of designing for change
continuousarchitecture.com·8h·
Discuss: Hacker News
⚙Complex ststems
Flag this post
Show HN: Polyglot standard library HTTP client C/C++/Rust/Python and benchmarks
github.com·15h·
Discuss: Hacker News
🦀Rust
Flag this post
Scaling up Prime Video monitoring service reduced costs 90% (archive) (2023)
web.archive.org·21h·
Discuss: Hacker News
📊Streaming ML
Flag this post
Generalized Consensus: Consistent Reads
multigres.com·2d·
Discuss: Hacker News
📊Streaming ML
Flag this post
Microservices? No, modularity is what matters
binaryigor.com·7h·
Discuss: Hacker News
⚙Complex ststems
Flag this post
I Processed the Internet on a Single Machine to Find Valuable Expired Domains
blog.mbrt.dev·6h·
Discuss: Hacker News
📊Streaming ML
Flag this post
A behind-the-scenes look at Broadcom’s design labs
techbrew.com·22h·
Discuss: Hacker News, r/hardware
⚙Complex ststems
Flag this post
Building Yantra: A Visual Workflow Automation Engine
patali.dev·1d·
Discuss: Hacker News
📊Streaming ML
Flag this post
ZkML Breakthrough: 13B Models Verified in 15 Minutes
lightcapai.medium.com·2d·
Discuss: Hacker News
📊Streaming ML
Flag this post
Parallel achieves 70% accuracy on SEAL, benchmark for hard web research
parallel.ai·39m·
Discuss: Hacker News
📊Streaming ML
Flag this post
The Noise and the Signal
russmiles.substack.com·14h·
Discuss: Substack
⚙Complex ststems
Flag this post
From Signals to Reliability: SLOs, Runbooks and Post-Mortems
fatihkoc.net·1d·
Discuss: Hacker News, r/devops
📊Streaming ML
Flag this post
What does the ideal information environment look like?
defenderofthebasic.substack.com·1d·
Discuss: Substack
⚙Complex ststems
Flag this post
Chinese team creates world’s first 2D industrial chip for military use
scmp.com·5h·
Discuss: Hacker News, r/SCMPauto
🔺Computational Geometry
Flag this post